Current Result Document :
| 한글제목(Korean Title) |
DRAM 테스트 패턴 프로그램의 기호 표현형 |
| 영문제목(English Title) |
Symbolic Representation of DRAM Test-pattern Programs |
| 저자(Author) |
조중하
박정근
이의상
문수묵
Joongha Cho
Jung-Geun Park
Uisang Lee
Soo-Mook Moon
|
| 원문수록처(Citation) |
VOL 49 NO. 02 PP. 1260 ~ 1262 (2022. 12) |
한글내용
(Korean Abstract) |
DRAM 메모리의 테스트를 위한 테스트 패턴 프로그램은 ATE(Automatic Test Equipment)에 따라 프로그래밍 언어가 다르고 저수준이므로 가독성이 현저히 떨어진다. 본 논문에서는 테스트 패턴 프로그램의 분석을 위해 새로운 형태의 기호 표현형(symbolic representation)을 제시한다. 시뮬레이션 결과로 생성된 출력 기반의 중간 표현형(intermediate representation) 으로부터 각 사이클 핀 값을 분석하여 해당 사이클 정보를 추출해내고 이를 토대로 동일한 작업을 수행하는 사이클을 동일한 기호로 변환한다. 상용 테스트 패턴 프로그램 기반 21개의 벤치마크로 기호 표현형 변환을 진행하였고 의도한 결과가 도출됨을 확인하였다. 또한 기호 표현형을 활용한 분석 도구는 사용자가 패턴 프로그램의 구조와 작업 의도를 직관적으로 파악할 수 있도록 도와준다. 테스트 패턴 프로그램의 변환이 완료된 기호 표현형은 패턴 프로그램 변환 시 동일성 테스트 및 최적화, 그리고 결함 모델(fault model) 역추론 등에 활용될 수 있다. |
영문내용
(English Abstract) |
|
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
